Puzzles and (equivariant) Cohomology of Grassmannians
نویسنده
چکیده
The product of two Schubert cohomology classes on a Grassmannian Grk(C) has long been known to be a positive combination of other Schubert classes, and many manifestly positive formulae are now available for computing such a product (e.g., the Littlewood-Richardson rule or the more symmetric puzzle rule from A. Knutson, T. Tao, and C. Woodward [KTW]). Recently, W. Graham showed in [G], nonconstructively, that a similar positivity statement holds for T -equivariant cohomology (where the coefficients are polynomials). We give the first manifestly positive formula for these coefficients in terms of puzzles using an “equivariant puzzle piece.” The proof of the formula is mostly combinatorial but requires no prior combinatorics and only a modicum of equivariant cohomology (which we include). As a by-product the argument gives a new proof of the puzzle (or Littlewood-Richardson) rule in the ordinary-cohomology case, but this proof requires the equivariant generalization in an essential way, as it inducts backwards from the “most equivariant” case. This formula is closely related to the one in A. Molev and B. Sagan [MS] for multiplying factorial Schur functions in three sets of variables, although their rule does not give a positive formula in the sense of [G]. We include a cohomological interpretation of their problem and a puzzle formulation for it.
منابع مشابه
Mutations of Puzzles and Equivariant Cohomology of Two-step Flag Varieties
We introduce a mutation algorithm for puzzles that is a threedirection analogue of the classical jeu de taquin algorithm for semistandard tableaux. We apply this algorithm to prove our conjectured puzzle formula for the equivariant Schubert structure constants of two-step flag varieties. This formula gives an expression for the structure constants that is positive in the sense of Graham. Thanks...
متن کاملRing structures of mod p equivariant cohomology rings and ring homomorphisms between them
In this paper, we consider a class of connected oriented (with respect to Z/p) closed G-manifolds with a non-empty finite fixed point set, each of which is G-equivariantly formal, where G = Z/p and p is an odd prime. Using localization theorem and equivariant index, we give an explicit description of the mod p equivariant cohomology ring of such a G-manifold in terms of algebra. This makes ...
متن کاملPuzzles in K-homology of Grassmannians
Knutson, Tao, and Woodward [KTW04] formulated a Littlewood–Richardson rule for the cohomology ring of Grassmannians in terms of puzzles. Vakil [Vak06] and Wheeler–Zinn-Justin [WZ16] have found additional triangular puzzle pieces that allow one to express structure constants for K-theory of Grassmannians. Here we introduce two other puzzle pieces of hexagonal shape, each of which gives a Littlew...
متن کاملEquivariant Schubert Calculus
Let T be a torus acting on C in such a way that, for all 1 ≤ k ≤ n, the induced action on the grassmannian G(k, n) has only isolated fixed points. The T -equivariant cohomology of G(k, n) can be realized, in this case, as the quotient of a ring generated by derivations on the exterior algebra of a free module of rank n over the T -equivariant cohomology of a point. This result allows a simple e...
متن کامل